x86: call unmap_vcpu_info() regardless of guest type
authorJan Beulich <jbeulich@suse.com>
Thu, 2 May 2013 07:29:36 +0000 (09:29 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 2 May 2013 07:29:36 +0000 (09:29 +0200)
commit9626d1c1fafe2da5af6e59478c9e9db6d03144df
tree0ef0b648d1cfdba002f92df21619bf689b1262a2
parent5fb11a07023959b6c91f7f37124699681011c03a
x86: call unmap_vcpu_info() regardless of guest type

This fixes a regression from 63753b3e ("x86: allow
VCPUOP_register_vcpu_info to work again on PVHVM guests").

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Tested-by: Sander Eikelenboom <linux@eikelenboom.it>
xen/arch/x86/domain.c